portuguès
linguagens formais e compiladores anglès
formal language espanyol
lenguaje formal català
formalització 
Исчисление, обычно цепочек, над конечным алфавитом.
1
Укрепился начальственный формальный язык, оторванный от реальной жизни людей.
2
Они должны быть написаны без ошибок и формальным языком, иначе в суде их могут не принять.